fond
Model Checking Contest @ Petri Nets 2013
Milano, Italy, June 25, 2013
Trophies for the ReachabilityPlaceComparison Examination
Last Updated
Apr. 26, 2013

Introduction

This page summarizes the trophies won by the tools for ReachabilityPlaceComparison. At this stage, we think this is not possible to provide a global trophy for the MCC @ Petri Net 2013.

Separated trophies for ReachabilityPlaceComparison

We first consider separately the two types of models.

Trophies for the “Known” Models Trophies for the “Surprise” Models
LoLA
170 (points)
LoLA optimistic
170 (points)
LoLA pessimistic
120 (points)
Marcie
120 (points)
Marcie
22 (points)
LoLA
12 (points)
LoLA optimistic
12 (points)

Global trophies for ReachabilityPlaceComparison

For this trophy, we use the following formula: results on “Known” models + 2 x results on “Surprise” models.

Trophies for All Models
LoLA
194 (points)
LoLA optimistic
194 (points)
Marcie
164 (points)